Nuprl Definition : divides
11,40
postcript
pdf
divides(
b
;
a
) ==
c
:
. (
a
= (
b
*
c
))
latex
clarification:
divides(
b
;
a
) ==
c
:
. (
a
= (
b
*
c
)
)
latex
Definitions
x
:
A
.
B
(
x
)
,
s
=
t
,
,
n
*
m
FDL editor aliases
divides
origin
c:
. (a = (b * c))
c:. (a = (b * c) 
) c:. (a = (b * c))
c:. (a = (b * c) ) x:A. B(x)